Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar
نویسندگان
چکیده
In this paper, a reliable and efficient structural analysis method for mathematical formulae is proposed for practical mathematical OCR. The proposed method consists of three steps. In the first step, a fast structural analysis algorithm is performed on each mathematical formula to obtain a tree representation of the formula. This step generally provides a correct tree representation but sometimes provides an erroneous representation. Therefore, the tree representation is verified by the following two steps. In the second step, the result of the analysis step, (i.e., a tree representation) is converted into a one-dimensional representation. The third step is a verification step where the one-dimensional representation is parsed by a formula description grammar, which is a context-free grammar specialized for mathematical formulae. If the one-dimensional representation is not accepted by the grammar, the result of the analysis step is detected as an erroneous result and alarmed to OCR users. This three-step organization achieves reliable and efficient structural analysis without any two-dimensional grammars.
منابع مشابه
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar
This paper proposes the use of a formal grammar for the verification of mathematical formulae for a practical mathematical OCR system. Like a C compiler detecting syntax errors in a source file, we want to have a verification mechanism to find errors in the output of mathematical OCR. Linear monadic context-free tree grammar (LM-CFTG) was employed as a formal framework to define “well-formed” m...
متن کاملA Mathematical Formulation to Estimate the Fundamental Period of High-Rise Buildings Including Flexural-Shear Behavior and Structural Interaction
The objective of the current study is to develop a simple formula to estimate the fundamental vibration period of tall buildings for using in equivalent lateral force analysis specified in building codes. The method based on Sturm-Liouville differential equation is presented here for estimating the fundamental period of natural vibration. The resulting equation, based on the continuum represent...
متن کاملContext-free Grammars: Mathematical Formulae Recognition
This contribution advocates that two-dimensional context-free grammars can be successfully used in the analysis of images containing objects that exhibit structural relations. The idea of structural construction is further developed. The approach can be made computationally efficient, practical and be able to cope with noise. We have developed and tested the method on a pilot study aiming at re...
متن کاملEvaluation of the Formulae Based on Red Blood Cell Indices in Differentiating Between Iron Deficiency Anemia and Beta Thalasemia Minor
Background and Aims: Iron deficiency anemia (IDA) and beta thalassemia minor (BTM) are the most common hypochromic microcytic anemias, and it is regarded important to differentiate between them. several formulae can be taken into consideration based on red blood cell (RBC) parameters in order to distinguish between these two disorders. Hence, the present study intended to evaluate the sensitivi...
متن کاملA New High Order Closed Newton-Cotes Trigonometrically-fitted Formulae for the Numerical Solution of the Schrodinger Equation
In this paper, we investigate the connection between closed Newton-Cotes formulae, trigonometrically-fitted methods, symplectic integrators and efficient integration of the Schr¨odinger equation. The study of multistep symplectic integrators is very poor although in the last decades several one step symplectic integrators have been produced based on symplectic geometry (see the relevant lit...
متن کامل